A Theory for Feature Models in Alloy
نویسندگان
چکیده
Feature models are used to state the instances of a software product-line. However, there is a limited tool support for automatically checking properties of feature models. In this paper, we propose a theory of feature models in Alloy. This theory can be used to check a number of properties in the Alloy Analyzer. For instance, we show how to check whether general feature model transformations preserve the well-formedness rules of feature models. This theory is compared with an alternative theory in Alloy for checking feature model refactorings.
منابع مشابه
Modelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool
Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...
متن کاملAn Overview of the New Feature Selection Methods in Finite Mixture of Regression Models
Variable (feature) selection has attracted much attention in contemporary statistical learning and recent scientific research. This is mainly due to the rapid advancement in modern technology that allows scientists to collect data of unprecedented size and complexity. One type of statistical problem in such applications is concerned with modeling an output variable as a function of a sma...
متن کاملThe axisymmetric computational study of a femoral component to analysis the effect of titanium alloy and diameter variation.
This work presents a numerical approach in order to predict the influence of implant material stiffness in a femoral component design when submitted in compression. The implant success depends on the transferred load to the neighboring bone. The finite element method can be used to analysis the stress and strain distribution in the femoral component allowing to improve the implant selection. Fo...
متن کاملOptimized Translation of Clafer Models to Alloy
Clafer is a textual language for modeling and analysis of software product lines. The language is able to express a wide range of models: feature models, meta-models, and feature-based model templates. Reasoning about those models is required to verify their consistency, detect dead elements, or to guide the configuration process for end-users. Clafer uses the Alloy Analyzer as a back-end to pe...
متن کاملNANOCRYSTALLIZATION MECHANISMS OF Fe52Cr18Mo7B16C4Nb3 BULK AMORPHOUS STEEL
Crystallization kinetics of Fe52Cr18Mo7B16C4Nb3 alloy was evaluated using X-ray diffraction, differential scanning calorimetric (DSC) tests and TEM observations in this research work. In effect, crystallization and growth mechanisms were investigated using DSC tests in four different heating rates (10, 20, 30, 40 K/min) and kinetic models (i.e. Kissinger- Starink, Ozawa, and Matusita methods). ...
متن کامل